عناصر دوبه دو ناجابه جاشونده در 2-گروه های فرادوری متناهی و بعضی p-گروه های متناهی

فرض کنید ‎g‎ یک گروه متناهی غیرآبلی و ‎x‎ یک زیرمجموعه از عناصر دوبه دو ناجابه جاشونده از g‎ باشد, به طوری که به ازای هرمجموعه ی دیگری از عناصر دوبه دو ناجابه جاشونده ‎y‎ در ‎g‎ داشته باشیم‎:|x|?|y|‎ دراین صورت گفته می شود که ‎x‎ دارای ماکزیمم اندازه است و اندازه فوق با ‎?(g)‎ نشان داده می شود. همچنین ‎?(g)‎ ماکزیمم اندازه ی دسته در گراف ناجابه جاشونده از گروه متناهی ‎g‎ است‎.‎ فرض کنید ‎z(g)‎ مرکز ‎g‎ باشد.گراف ناجابه جاشونده ازگروه ‎g‎ گرافی است که ‎g(g)‎ مجموعه ی رئوس آن است و دو راس متصل اند اگروتنهااگر جابه جا نشوند